Instance Verification Kit (IVK)
spin lock @ [67141+22+/linux-3.17-rc1/drivers/usb/gadget/udc/pch_udc.c]
Instance Signature: lock
The Matching Pair Graph:
Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
complete_req
[40897+12+/linux-3.17-rc1/drivers/usb/gadget/udc/pch_udc.c]
empty_req_queue
[42273+15+/linux-3.17-rc1/drivers/usb/gadget/udc/pch_udc.c]
pch_udc_complete_receiver
[60499+25+/linux-3.17-rc1/drivers/usb/gadget/udc/pch_udc.c]
pch_udc_complete_transfer
[59301+25+/linux-3.17-rc1/drivers/usb/gadget/udc/pch_udc.c]
pch_udc_dev_isr
[76278+15+/linux-3.17-rc1/drivers/usb/gadget/udc/pch_udc.c]
pch_udc_isr
[77984+11+/linux-3.17-rc1/drivers/usb/gadget/udc/pch_udc.c]
pch_udc_pcd_dequeue
[54063+19+/linux-3.17-rc1/drivers/usb/gadget/udc/pch_udc.c]
pch_udc_pcd_ep_disable
[48346+22+/linux-3.17-rc1/drivers/usb/gadget/udc/pch_udc.c]
pch_udc_pcd_queue
[51362+17+/linux-3.17-rc1/drivers/usb/gadget/udc/pch_udc.c]
pch_udc_svc_control_in
[64931+22+/linux-3.17-rc1/drivers/usb/gadget/udc/pch_udc.c]
pch_udc_svc_control_out
[66058+23+/linux-3.17-rc1/drivers/usb/gadget/udc/pch_udc.c]
pch_udc_svc_data_in
[62280+19+/linux-3.17-rc1/drivers/usb/gadget/udc/pch_udc.c]
pch_udc_svc_data_out
[63519+20+/linux-3.17-rc1/drivers/usb/gadget/udc/pch_udc.c]
pch_udc_svc_ur_interrupt
[71227+24+/linux-3.17-rc1/drivers/usb/gadget/udc/pch_udc.c]
process_zlp
[45638+11+/linux-3.17-rc1/drivers/usb/gadget/udc/pch_udc.c]